Rozwiązywanie układów równań różniczkowych metodą operatorową (sprowadzanie układu równań do równania zwyczajnego rzędu wyższego)
Definicja 1:
Przykład 1:
Niech \( \hskip 0.3pc x_1, \hskip 0.3pc x_2,\hskip 0.3pc x_3\hskip 0.3pc \) będą funkcjami zmiennej \( \hskip 0.3pc t,\hskip 0.3pc \)to
jest układem równań różniczkowych o niewiadomych funkcjach \( \hskip 0.3pc x_1,\hskip 0.3pc x_2,\hskip 0.3pc x_3\hskip 0.3pc \).
Przez \( \hskip 0.3pc D\hskip 0.3pc \) będziemy oznaczać operator różniczkowania - przyporządkowujący funkcji \( \hskip 0.3pc x(t)\hskip 0.3pc \) jej funkcję pochodną: \( \hskip 0.3pc Dx(t):=x^\prime(t).\hskip 0.3pc \)
Przez \( \hskip 0.3pc D^k\hskip 0.3pc \) będziemy oznaczać \( \hskip 0.3pc k\hskip 0.3pc \)-krotne złożenie operatora \( \hskip 0.3pc D\hskip 0.3pc \) i \( \hskip 0.3pc D^kx(t):=x^{(k)}(t).\hskip 0.3pc \)
Jeżeli \( \hskip 0.3pc L\hskip 0.3pc \) jest operatorem określonym następująco
gdzie \( \hskip 0.3pc a_0,\ldots,a_k\hskip 0.3pc \)-są to dowolne stałe, to dla dowolnej funkcji \( \hskip 0.3pc x(t)\hskip 0.3pc \) \( \hskip 0.3pc k\hskip 0.3pc \)-krotnie różniczkowalnej mamy:
Uwaga 1:
Przykład 2:
Dla operatorów \( \hskip 0.3pc L_1=D^2-D+1\hskip 0.3pc \hskip 0.3pc \) i \( \hskip 0.3pc \hskip 0.3pc L_2=D+2\hskip 0.3pc \) wyznaczamy złożenia:
stąd wynika, że \( L_1\circ L_2=L_2\circ L_1. \)
Stosując powyższe oznaczenia układ równań ( 1 ) można zapisać następująco:
gdzie : \( \hskip 0.3pc L_{11}=D^2+1, \hskip 0.3pc L_{12}=2D, \hskip 0.3pc L_{13}=-1, \hskip 0.3pc \) \( \hskip 0.3pc L_{21}=D^2-1,\hskip 0.3pc \) \( \hskip 0.3pc L_{22}=D^2+1, \hskip 0.3pc \) \( \hskip 0.3pc L_{23}=D,\hskip 0.3pc \) \( \hskip 0.3pc L_{31}=-D,\hskip 0.3pc \) \( \hskip 0.3pc L_{32}=D,\hskip 0.3pc L_{33}=2D^2+1.\hskip 0.3pc \)
Omówimy teraz rozwiązywanie układów równań postaci:
gdzie operatory \( \hskip 0.3pc L_{ij}\hskip 0.3pc \) są postaci ( 2 )
Powyższy układ rozwiązuje się podobnie jak układ równań liniowych, z wykorzystaniem wzorów Cramera:
gdzie
Mnożeniu elementów przy liczeniu wyznacznika \( W \) odpowiada złożenie operatorów. Przy liczeniu wyznaczników \( \hskip 0.3pc W_i\hskip 0.3pc \) najpierw składamy odpowiednie operatory, a następnie wyliczamy wartość tak otrzymanego operatora dla funkcji \( \hskip 0.3pc f_k(t)\hskip 0.3pc \). Na przykład mnożąc elementy na przekątnej dostajemy :
Pokażemy prawdziwość wzorów ( 4 ) dla \( \hskip 0.3pc n=2\hskip 0.3pc \).
Rozważmy układ równań
Pierwsze równanie układu ( 6 ) obkładamy obustronie operatorem \( \hskip 0.3pc L_{22}\hskip 0.3pc \) a drugie operatorem \( \hskip 0.3pc L_{12}\hskip 0.3pc \) i otrzymujemy następujący układ równań:
dostajemy równanie różniczkowe zwyczajne o stałych współczynnikach odpowiedniego rzędu zmiennej \( \hskip 0.3pc x_1\hskip 0.3pc \):
Analogicznie jeżeli pierwsze równanie układu ( 6 ) obłożymy obustronnie operatorem \( \hskip 0.3pc L_{21}\hskip 0.3pc \) a drugie \( \hskip 0.3pc L_{11}\hskip 0.3pc \) i odejmiemy stronami to otrzymamy
Stąd mamy
są takie, same.